C2 IR nodes should keep this invariant

this->size_of() == sizeof(*this)

I wrote a test to check every nodes defined in opto/classes.hpp . And I found some of them miss size_of() function and break the invariant.