Some fixes to pass tests

mostly checking pointers passed to the syscall to make sure they are within the user page bounds