lassert: 0. add LINVRNT() macro for more expensive checks that are disabled by...

lassert: 0. add LINVRNT() macro for more expensive checks that are disabled by default; 1. replace ((void)0) with ((void)!!sizeof(exp)) so that expression is used (though not evaluated) even when assertions are disabled. !! is for things --like bitfields-- that do not have sizeof.