Anonymous Distributed Computing: Computability, Randomization And Checkability