"options trades are not mentioned on 1099-B, but still reported to IRS." How are option trades reported to thei IRS?