CIP-13: Rules of the Solver Competition Update: proposal to ban pennying

The proposal was moved to a snapshot vote

Public discussion was ongoing for the last two weeks under this post