Reenabled verify in main.cpp, and set default to storing coefficients as doubles.