With the new introspection opcodes and a new option for expanding P2SH contract sizes, it now seems that we don't need to add a stack memory usage limit or touch the 520 byte push limit.