Okay, I was able to get back to scratch by using the firmware on this page (041be89):
https://onyx-boox.com/support/firmware-android/
But now it appears that I'm back to square one, as when I try and apply Booxtor's update, I get the same assertion error as before. Is the use of MFG tool required in order to move to Booxtor's ROM?