Swap (verify) now works with the heap model.