Implement SEQ-SEQ tile checking (to fix small1/infer1.c) using the same method as ccured/typecheck.ml (array size based on gcd of type sizes, etc). If the check is too conservative it will make too many things WILD -- hopefully the reg test will tell me about that. Added a new "why" for SEQ-SEQ tile check failures (BadSequenceCast) and changed the printouts, encodings and javascript to deal with it.
Implement SEQ-SEQ tile checking (to fix small1/infer1.c) using the same
method as ccured/typecheck.ml (array size based on gcd of type sizes, etc).
If the check is too conservative it will make too many things WILD --
hopefully the reg test will tell me about that. Added a new "why" for
SEQ-SEQ tile check failures (BadSequenceCast) and changed the printouts,
encodings and javascript to deal with it.

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c