[ed25519] Use `verify_strict` for signature verification in ed25519 precompile #7071

Job	Run time
check	2m 16s
cargo-test-sbf (token/program)	12m 40s
test (token/cli, token/program, token/program-2022, associated-token-account/program, instruction...	20m 16s
cargo-test-sbf (instruction-padding/program, token/program-2022, token/program-2022-test)	16m 47s
test (single-pool/cli, single-pool/program)	17m 7s
cargo-test-sbf (associated-token-account/program, associated-token-account/program-test)	11m 17s
test (token-upgrade/cli, token-upgrade/program)	15m 21s
cargo-test-sbf (token-upgrade/program)	13m 8s
cargo-test-sbf (feature-proposal/program)	7m 5s
cargo-test-sbf (governance/addin-mock/program, governance/program)	14m 25s
cargo-test-sbf (memo/program)	8m 38s
cargo-test-sbf (name-service/program)	7m 5s
cargo-test-sbf (stake-pool/program)	13m 48s
cargo-test-sbf (single-pool/program)	7m 51s
	2h 47m 44s

Provide feedback