Add note about heap invariants [skip ci]

At the moment the note just covers three important invariants but now there is a place to add more to if we think of them.