trivial tweak in codec.h
robustness improvements in multi-precision math functions
correctly handle "point at infinity" in ECP functions

also: perform validity checks in ecp_verify(…)
disable PIE in debug builds