QuarkLabs VeraCrypt Audit Results