Efficiently verifiable quantum advantage on near-term analog quantum simulators