Add heap quickcheck solution.