Verodin is a Reston-based security startup that creates software to determine how effective company’s cybersecurity defenses are. The company officially launched in April 2016.