add int_of_float instruction

not working due to simulator's bug (instruction 0xF00D is not recognized)
Update submodules and add constraints

We can automatically check whether the constraints are met.