Add end specification
Fix elementwise spec for Brent Kung
Invariants for Hillis-Steele