update spec to have transactions, but a bit too permissive
update spec to have transactions, but a bit too permissive

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