Added ZX for zero-extending bitvectors (consistent with SX)
Uncommented bvsimple.cvc tests and added new test for ZX