Test that heap property is maintained after split
Allow priorities with any value
Use infinity atom for highest possible priority
Over 9000 property based tests