Didn’t have time to explore this just yet, but I think another way to collect info about executed / not executed code could be running a production release with coverage information enabled 
As claimed in OTP 27 release notes, :cover module that offers this functionality just got shipped with noticeable speed improvements
Could be risky / expensive to run this in production though, so must tested first
