007_regex: added missing loop invariant
009_lz77: added some missing invariants