Upgrade Aspen from 0.22.x to 0.25.1

This addresses #888.