Simple version of AUID

Improvements: modify test files so that test.check generates seed and
machine-id, and from this we generate a vector of ids against which we
can make assertions