Cardano activated the Van Rossem hard fork over the July 18-19 activation window, moving the network