Implement BOOLEXTRACT, and rename all instances of BVGETBIT to BOOLEXTRACT as well (since they are the same).
Add test cases for BOOLEXTRACT.