Implement a circuit-extension algorithm that can resist quantum computers

The design component for this is legacy/trac#17272 (moved) ; proposal 249 (see legacy/trac#17279 (moved)) will also be needed.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information