FsCheck tests for Heap

Using List.sort as a reference for correctness