finished implementing bv to bool lifting and added --bv-to-bool option