Moved challenges notes to Challenges section in report
Cleaned up formatting
Adding formatting
Merged conflict on tracePequiv constructor names