feat: reduce number of verifier binaries #551

Job	Run time
zksync-airbender-build (12.9.1-devel-ubuntu22.04, zksmith)	11m 48s
zksync-airbender-build (13.0.0-devel-ubuntu24.04, zksmith)	11m 43s
zksync-airbender-test	0s
	23m 31s

Provide feedback