kv - a C++ Library for Verified Numerical Computation