Added IRMA kludge that puts the same length restrictions on rA and v'~ that the card does; kludge can be enabled/disabled as a system parameter.