Complexity and Integrability in 4D Bi-rational Maps with Two Invariants