refactor: simplify SuccessOrHalt trait bound #4250

Job	Run time
check no_std	22s
check	21s
check no_std kzg-rs	26s
clippy	1m 28s
check serde	22s
docs	1m 17s
test stable --no-default-features	56s
test stable	50s
test stable --all-features	1m 22s
check std	22s
test beta --no-default-features	1m 0s
test beta	52s
test beta --all-features	1m 19s
TyposCheck	8s
fmt	7s
test nightly --no-default-features	2m 8s
test nightly	2m 15s
test nightly --all-features	2m 12s
	17m 47s

Provide feedback