elm-verify-examples --run-tests