Verifying Network Topology in Software Defined Networks Using Stealthy Probing-based Verification (SPV)