Improvement.  Wrap most of the calls to bvtypecheck in assert(),  so that disabling assertions will remove them. Cleanup woeful duplication.
Improvement.  Wrap most of the calls to bvtypecheck in assert(),  so that disabling assertions will remove them. Cleanup woeful duplication.

kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp