Tekkotsu: verbosity PVcollision test should use bitwise-and; also moving some float constants to the .cc for older compilers (that's a C++0x feature)