Add support for forward checking of bounds; and add various performance enhancements.