Added "verify-rule" command.