Gaining confidence on the correct realization of arbitrary quantum computations