Made latex braces variable size and fixed multi-line latex heaps for SL.
Fixed a couple of warnings on assert false; ... .