Practical verification protocols for analog quantum simulators