Property tests for PJR and EJR work with brute force and weighted profiles

[DominikPeters]

The property testers all support weighted profiles, but for PJR and EJR the code assumed this is not the case. I removed the relevant if-clauses.

[codecov-commenter]

⚠️ Please install the to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 92.07%. Comparing base (321240e) to head (bad1f18).

❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files

@@            Coverage Diff             @@
##           master      #86      +/-   ##
==========================================
+ Coverage   91.95%   92.07%   +0.11%     
==========================================
  Files          11       11              
  Lines        3159     3155       -4     
  Branches     1003      998       -5     
==========================================
  Hits         2905     2905              
+ Misses        146      144       -2     
+ Partials      108      106       -2     

Files with missing lines	Coverage Δ
abcvoting/properties.py	96.76% <ø> (+0.73%)	⬆️

---

Continue to review full report in Codecov by Sentry.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 321240e...bad1f18. Read the comment docs.