ASSERT fixed and turned on.

Fixed bug in ASSERT macro and added INVARIANT define to Makefile so
KASSERTs are compiled in.
Implemented hos_pfrag_len && hos_preset OS hooks.
Added connections between vhost device and vif.
Implemented host interface routines.