Verifies the linearizability of experimentally accessible histories.