“The Roberts Court has established a new standard for Establishment Clause analysis that focuses on history and original understandings.”