Ironclaw Random Adversary -- version 0.02.15-Oct-2013.