Text this: Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection.