WyIL: Updated Assert / Assume bytecodes.

Assert / Assume bytecodes are now compound bytecodes, meaning then can
contain zero or more bytecodes inside them.