Shares of VirnetX Holding (VHC) declined as much as 19% today despite a lack of company-specific news. Rather, the fall appears to stem …