.NET Flux: Experiences from Security Audit