Cache.v: add [sync], [read_array], [write_array], and [sync_array]
Cache.v: add [sync], [read_array], [write_array], and [sync_array]

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl