options: add help to experimental_verify