Potentially drop `always_shortcircuit` (`and`/`or`) in the future

[paulo-ferraz-oliveira]

If this makes it into Erlang, we can drop the rule, either now or later, since it'll deprecate naturally.