Challenges with Verification, Repeatability, and Meaningful Comparison in Genetic Programming: Gibson's Magic