oops, I was reading the "contingent things must be dependent upon necessary things" as implying modality, but you're right that if it's there it's only implicit.
right, there is something modal going on here, but in terms of the formal mathematical tool of modal logic, Spinoza isn't using them, though I think you understood that from the start.