Audit of the Rust p256 crate