Miscellaneous cleanups

[rbonichon]

This is a disparate collection of minor fixes to the codebase:

• add an explicit of_int_exn in module Nat (and propagate the change)
• remove warning 16 in module Transition_frontier
• fix too many flush indications in a file in cli_lib

Overall behavior should be unchanged