This reverts commit 047f00a411. It turns out that BoundedRecursion is the wrong thing to measure.
047f00a411