Spec for verify_strict/3 missing {class, reason} results from try/catch

[brian-bk]

I'm not an elixir expert, so apologies if I'm understanding this issue incorrectly. When trying to upgrade jose to 1.11.9, there's an added spec to verify_strict/3:

erlang-jose/lib/jose/jwt.ex

Line 312 in 66e6eec

@spec verify_strict(t(), [String.t()], binary()) :: {valid? :: boolean(), jwt :: t(), jws :: JOSE.JWS.t()}

Our dialyzer check for our application is failing because we were anticipating such results like {:error, reason} in addition to the currently spec'd {valid? :: boolean(), jwt :: t(), jws :: JOSE.JWS.t()}. I believe that the catch result should also be added to the type spec, here is the catch code block:

erlang-jose/lib/jose/jwt.ex

Lines 352 to 355 in 09de6d2

	catch
	class, reason ->
	{class, reason}
	end

.

[jareddellitt]

We're also seeing a failure, but I think it's related to the t(). The function accepts a %JOSE.JWK{}, but the typespec states it accepts %JOSE.JWT{}.