Fix debug write test

We're storing an int, so we should also read and compare with an int.
Check for PTRACE_POKEDATA return value

And stop if it did not succeed.
Update readonly_ptr after execve

Memory mappings are not preserved after an execve, so readonly_ptr
should be updated.