Will catch cases where registers aren't consecutive in the constructive variant. While we're at it, we can also amend EXT's similar but slightly wrong consecutive check. Also adds tests to ensure these corner-cases hold.