Changed the semantics of update_storage in CVM, so it contains only the
input storage cells to update, and ensure they are in the same order as
the computed outputs.