Max stack and max locals are information on Code attribute; this is rarely, if ever, used by code transformations, and has no need to be exposed in the buffered code models. In addition, these are hard to implement, and implementations are inefficient. Users who want these information can always use an extra transform to capture these values.