docs: note OTP17.0 support and simplify dialyzer usage