This permits to avoid copies. Before we used to do one copy per storage operation. Now we do one copy per store operation.
We prefer to return those errors to the fuzzer which can then decide whether they are expected or not (e.g. when starting from a dirty storage, the store is expected to have errors).
