Consider printing sizes of blocks when printing preconditions

It might be nice to print the size of blocks when printing preconditions. For complex shapes it is often hard to tell what the size is when it is split between a bunch of different memshapes. I guess we would have to add comments to the shape dsl syntax or some such and print them after blocks so that printed shapes are still parseable