Tighten type checking config

[kanongil]

This adds noUncheckedIndexedAccess: true and exactOptionalPropertyTypes: true to the type checking config.

This helps ensure that the defined typings can work for projects like reported here, which use these stricter than strict: true options.

I also updated the peer dependency requirement to v4.4.0+, which is the oldest version that supports these flags.