Edinburgh Research Explorer Layout Randomization and Nondeterminism