Validating a computational framework for ionic electrodiffusion with cortical spreading depression as a case study