Silence warnings for external code
Fix most remaining warnings in external code
Paper edits
Conclusion
Abstract
Bibliography tweaks
DeleteMin removes lowest priority item
Paper edits
Switch back to initial queue size of 2^15