removed UPBSimpleMessage

made the upb real_id a conjunction of net_id.dest_id
abstracted the verification of patched states