Added IS_NAT and INT instruction

2 jobs for is_nat-int in 4 minutes and 29 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #260102932
coq:8.8

00:03:57

passed #260102936
coq:8.9

00:04:28