fix[venom]: move loop invariant assertion to entry block

[charles-cooper]

What I did

How I did it

How to verify it

Commit message

loop invariant bound check was in the body of the loop, not the entry
block. move it up to the entry so we don't re-check the same assertion
every loop iteration.

Description for the changelog

Cute Animal Picture

![Put a link to a cute animal picture inside the parenthesis-->]()