From Quantum Chemistry to Verifiable Quantum Execution: SoftQuantus QCOS and the VQE Algorithm