Merge branch 'loop-codegen-fixes' into 'master'

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

See merge request !53