Add precondition to `fill-page`.
The reason it is not a precondition: Because this
is a library there needs to be some useful information
in the assertion error, which is not possible with
precondition.

Fixes #19