WyIL: Fixing problem with missing attributes.
WyIL: Updated Assert/Assume to Compound.

The assert and assume bytecodes were previously not compound bytecodes,
but instead used a target label to signal the end of the assertion /
assumption.  This has now been changed to exploit the new compound
bytecodes.