Tests that if we have a tower of large numerical constants being added to each other, the DFG knows that a sufficiently large tower may produce a large enough value that overflow check elimination must be careful.
On success, you will see a series of "PASS" messages, followed by "TEST COMPLETE".
