Made heap pass the invariant check. We should be able to enable invariants on the standard library. Also added the reproductions for new trac trickets.