Loop bound codegen fixes

Three somewhat unrelated fixes.

1. Uses PwAff.is_equal() to check if lbound = ubound
2. Gists against implemented domain when finding bounds
3. Keeps track of implemented bounds more accurately