Fixes to vector casts and attributes printing. Enabled tests fixed by the previously introduced changes.