Implement spilling
The current plan is to make IBC's RA a second-chance binpacking allocator:
https://dash.harvard.edu/bitstream/handle/1/34325454/tr-21-97.pdf?sequence=1
It's currently a binpacking allocator with no second chance or spilling implemented. We need to finish the project.