Reduce code duplication via a new macro
Make array assertions print meaningful information