Hunting bugs with accelerated optimal graph vertex matching