src: Add functionality for working with the priority heap of variables and activity bumping.