HWiNFO64 should tell you if AHCI is enabled.
Also check Win7 Device Manager.
Trim on the drive is supported, to confirm it is turned on use trimcheck.
Benchmarking tools are not always accurate, so it pays to test witha few different ones.
Crystal Disk Mark64 and AS SSD for benchmarking windows
Blackmagic Speed Test for benchmarking OS X and compare results.
