Basic-send Test

• Server infinite loop of:
  • wait_receive()
  • check value
  • disconnect()
• Client infinite loop of:
  • connect_send()
  • disconnect()
• Not very interesting
• Very small verification
  • 41 MB of state; 94,000 states; max depth 1650
  • Implies common case is fast