Merge pull request #6666 from thomasspriggs/tas/smt_bv_functions

Add additional subset of bitvector theory bitwise operations

Author: thomasspriggs