This is one of the reasons why I said this won't be easy. Even if you strip away the controversial freezing and determine that FALCON-512 is in fact the best, it would require a block size increase which is yet another controversial topic. It further complicates the delicate situation.
The alternative to using FALCON-512 would be to waiting indefinitely until an entire new signature algorithm is penned, which
might produce smaller signatures. Seems like a dead end, where we have to change mining economics by increasing the block size, or we fall short on security.