Schrock noticed that
# mkfile 100m /disk/a
# mkfile 200m /disk/b
# mkfile 100m /disk/c
# zpool create -f foo mirror /disk/a /disk/b
# zpool replace foo /disk/b /disk/c
cannot replace /disk/b with /disk/c: /disk/c is too small
and verified with BillM that this should be allowed,
as long as the new device size is at least as big as
the minimum of all the devices in a mirror or raidz.