stash first successful SEGV
VALGRIND_SET_READONLY
Make dirty helper properly declare its memory read access
Track mem write *before* the actual write op.

The core dump from SEGV in readonly memory will thus represent the process
just before the offending write op.

Data word to write is sent to dirty helper as IRExpr.

Todo: Code cleanup