It would be inconvenient if the validity of a blockchain became undecidable, or even just NP-hard.