Fix a problem in the Bloom filter in which an error in the byte-code caused the engine to enter an infinite loop when the pull-down optimization encountered a NULL key.

Other minor patches.