GA-Based Verification of Network Protocols Performance