We should add a single example for the entire end-to-end upgrade / downgrade FCV process. Currently it's hard to understand what exactly is supposed to go into certain functions like _runUpgrade() or _finalizeUpgrade() from reading the description in the README alone; a concrete example would help here.