ideMode

"IDE" mode: slightly more expensive computations, such as helpful error bounds.