Implement BVZX case in Simplifier (so that using BVZX will not fail with an exception).

This finishes the implementation of BVZX and solves a crashing bug.