Verify Gym

Bracket a constant, and be paid only for what is certified: tighter intervals around x^x = N roots, k-th roots and polynomial roots, every side dec...