Good reduction and Shafarevich-type theorems for dynamical systems with portrait level structures