StarkWare tests a quantum-resistant Bitcoin transaction on mainnet, showing a costly workaround that avoids changes to Bitcoin's consensus rules.