tavern updates

Some fixes (redux):

- fix some very minor API changes in the `archive` library (`.filename` and `.size`)
- fix some issues when Dartium is run in checked mode