Cairn.Layout.Tests

Concrete checks of layout with the mono metrics (13 pt: 7 points per scalar, ascent 10, descent 2, so a line is 12 high). These fail fast when a definition is wrong, before any proof is attempted.