Add Arguments bool_decide : simpl never

As discussed on Mattermost, I've encountered a case where simpl on a goal containing bool_decide took 1.5 seconds without making any progress, but was instantaneous after adding Arguments bool_decide : simpl never. .