Code to look for and verify happy numbers.