A code change could slash crytpo energy use, so why is it not being used?