Verified state.highstate call