WyCS: Bug fix for #401.
This was relatively easy to fix, and was essentially just missing a rule
in the verifier.  Very surprised I hadn't found this before though.