The nation’s first gas ban was overturned. One state changed its building codes to avoid legal challenges. Here’s the biggest gas ban news of 2023.