Improve typehints, documentation, and implement <= and >= for BitVecFunc
Improve typehints, documentation, and implement <= and >= for BitVecFunc

b-mueller/mythril,b-mueller/mythril,b-mueller/mythril,b-mueller/mythril