Adding Hilbert test/debugging code.

This should not be merged into master...

Converting back and forth between CBigBitVecs (instead of involving
CFixBitVecs) seems to work much better.
Fix the Hilbert debugging code.