docs: add proposed reduction rules verification note (9 reductions)

docs: add proposed reduction rules verification note (9 reductions) #1578