Move of the citations and justifications for algorithm verification
Finish verified gc section of lit review
Revise lit review summary
Couldn't find citation, let's just say this is done