Clarify BundleFile and StampFile write state handling

Make an explicit contract: `write` succeeds only after `markup` is
called.
Add assertions to write op results
Rename fixture constants for better clarity