More EC stuff, including EC_POINTs_mul() for simultaneous scalar