update compiler with new operations

proofs not updated
start updating compiler proofs