Fix (harmless) duplicate variable declaration.
Fix a problem in pagerfault.test causing an assert() to fail.
Update some requirements marks to conform with improvements
in the documentation.
Fix a couple of problems with new test scripts causing the permutations test to fail.