I don't believe the 1.8ghz kernel that was referenced is actually available for download. There are 1.6 and 1.5 ghz kernels floating around on xda. The 1.5 was available on rom manager but got pulled for some reason yesterday (presumably because of heat/instability issues). There is a 1.2ghz kernel available in rom manager however. If you manage to find one of the higher frequency kernels keep in mind the tbolts chipset is rated by Qualcomm at 1.4ghz. I personally did not run into any issues running at 1.5ghz but folks were reporting reboots upon answering phone calls and such so I dropped it down to 1.4 just to be safe. Currently however, I'm running the das bamf rom (its bundled kernel is the same 1.2ghz kernel available in rom manager) and at 1.2ghz its plenty quick.
To run a quadrant benchmark you simply need to download quadrant standard from the market. It's self explanatory from there.