various improvements, start using unittest library
for now also ignore using vc-destroy
allow integers to be casted to bitvecvals automatically
initial operator overloading
add quick model support and the not-equal operator