Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming