[ExtractTestCode] Support extracting some structure and removing dead ops.

[mikeurbach]

This is WIP to demonstrate how the pass can be extended to:

• Extract wires and instances it knows are only used in the verification statements
• Remove things that have been extracted and it can prove are dead