Fixed a small bug with mulsu encoding, other updates.
Assorted demo (test_avr33) updates and fixes.

More fun with xor circles (ack Insolit Dust's sourceforge page), plus fixed (turned into a warning) a daft compiler problem [my fault for binary vs. back-local-label-ref nondet].