Tests for binheap.push
Tests for binheap.pop