feat: add as_witness builtin function in order to constrain a witness to be equal to a variable

feat: add as_witness builtin function in order to constrain a witness to be equal to a variable #7004