Auditing use of implicitly unwrapped values