Add a regression test to sanity check the PBQP allocator.