Universal Transformers for Circuit Computations: Perfect Length Generalization in Tiny Transformers