As suggested in the review for r337007, this makes cfi-verify abort on unsupported targets instead of producing incorrect results. It also updates the design document to reflect this.
Note that I'm not sure if 32-bit x86 is supported. We don't seem to have any tests for it, but I tried a toy example and it worked, so I left it there. What do you think?