Reduce size of ProofVerificationError

```
 pub fn verify(&self, root: B256) -> Result<(), ProofVerificationError> {
    |                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the `Err`-variant is at least 144 bytes
```

we can change this by boxing some internals or changing the error so that it is a Repr wrapper