Add and activate specs for unique-id()

This PR implements a naive spec for `unique-id` testing the elements of the function we can reliably determine.