Expose global highstate for the benefit of pydsl

See Issue #8862 before merging please.