Update GV examples to HGV; add omitted weakening checks.