fix (batcher): remove expect from verify function

[NicolasRampoldi]

Description

• The verify function in the batcher (batcher/aligned-batcher/src/zk_utils/mod.rs) has some expects that will make it panic. We should return false.