3x faster; update README; add parameter file

... and turn asserts into ValueErrors (the former may be disabled by
optimizations, error checking should not)