Enforce upper bound on loop count on all instructions in loops

Enforce upper bound on loop count on all instructions in loops #459