US’s big bet on quantum computing may not be entirely legal