Computer algebra challenges for constructing skew cyclic codes