How exactly does the binarize function work in the code? How do I extend it to the CIFAR model? How does comparing images with random numbers work?