Check if syscall is valid during verification (#585)

Check if syscall is valid during verification (#585) #1231