Failing test displaying promptness and double-allocation bugs
Fix some of the finalizer bugs