Avoid unused-variable warnings when --disable-invariants.
Add leaf::full_version_value().

This function returns a value that contains the version and some
information from the current permuter. If anything about the node
state changes (modulo version# wraparound), full_version_value()
also changes.