Provably Bounded Dynamic Sparsifying Transform Network for Compressive Imaging