debugging: Add formal-verification forward reference

We work hard to make bugs reproduce more quickly, but in some special
cases, formal verification can find these bugs deterministically.

Signed-off-by: Paul E. McKenney <paulmck@kernel.org>