That seems like the best option. I know it would upset a large portion of the player base to ban optifine for just one feature, so simply punishing its use isn't a terrible idea. Just like xray though, it's virtually undetectable if used by someone that is even semi-competent.