Extend upper bounds on lens and network

Confirmed to build here.