Theoretical modeling of vibroelectronic quantum states in complex molecular systems: Solvated carbon monoxide, a test case