Check if syscall is valid during verification

Check if syscall is valid during verification #1230