Post-condition verification for generated AV outputs.
@spec verify!(Path.t(), map(), map()) :: {:ok, map()} | {:error, term()}