WyCS: Updated VcTransformer to check asserts #377.

The VcTransformer now translates Code.Fail bytecodes into assertions and
checks them.  This is not complete yet, since it should be decided
whether or not to assume them.