Validating quantum-classical programming models with tensor network simulations Journal December, 2018