Add elaboration error for formal/actual width mismatch
Fix a case were constants were not folded in top-level architecture