Two startups — Atidot Software Ltd. and Ushur Inc. — are trying this year’s hot insurtech strategy: Solving narrow, but terrible, problems for life insurers.